High-level User Input Specifications for Finite Element Code Generation

نویسندگان

  • Naveen Sharma
  • Paul S. Wang
چکیده

A set of input specifications is designed to enable engineers and scientists, who may not be computer experts, to describe the finite element analysis (FEA) procedures for a new application. The input directs PIER, a code derivation/generation system being developed in Common Lisp, to produce either sequential or parallel FEA codes. The PIER input employs common terminology and notations as used in standard FEA texts and can be intermixed with f77 statements. A user can transcribe a textbook-like FEA procedure description into PIER input form with relative ease. The input specification supports the definition of the element mesh, nodal properties, data storage scheme, symbolic derivations, and numerical algorithms for the solution procedures. The user can also group high-level statements into modules to facilitate parallelization. PIER has an FEA knowledge base which includes two different FEA formulations (element-by-element and assembled stiffness matrix). The design, usage, and implementation of the input specification are described. Examples are given to further illustrate how to prepare PIER input specifications.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards generating optimised finite element solvers for GPUs from high-level specifications

Abstract We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-specific language. We make the case for using one such language, the Unified Form Language (UFL), by discussing how it allows the generation of high-performance code from maintainable sources. We support this case ...

متن کامل

Two Steps Towards Automating Efficient Solution of Inverse Problems

We have combined symbolic mathematics with code generation to create a user–friendly environment for specifying finite element methods. The motivation behind this approach is to automate the boring and error-prone task of implementing variational forms of PDEs, which is a cornerstone when developing finite element simulators. By employing a symbolic engine in a high–level language we allow the ...

متن کامل

Symbolic Transformation Formal Language and Mathematics Declarative and Imperative Information Generation of Code for Numerical Solution Implementation of Exotic Options: Barrier Options, Asian Options

The aim of the project is to generate efficient and accurate low level solution code of the implementation of problem level operations from a domain level specification of a financial option. The basic high-level operation is valuation, or pricing, given user supplied specifications. Further operations are calculation of hedge ratios (delta, gamma, vega, rho and theta) which are derivatives of ...

متن کامل

Automatic Generation of Implementations For Object-Oriented Abstractions

We present a general-purpose code transformation system, the POET system, for the purpose of automatic code generation from high-level behavior specifications of object-oriented abstractions to low-level efficient implementations in C++ and Java. In particular, we have developed an extended finite-state-machine-based language, iFSM, which models the behavior logic together with implementation d...

متن کامل

Automated Code Generation Using Case-Based Reasoning, Routine Design and Template-Based Programming

Automated code generation is the process whereby a computer program takes user specifications in some form and produces a program as output. Automated code generation can be the process undertaken by a compiler, which generates an executable program from a source program, but it also applies to the situation where the input is a task described at some level of abstraction and the output is a pr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003